On separation lemmas
نویسندگان
چکیده
منابع مشابه
Notes on switching lemmas
We prove three switching lemmas, for random restrictions for which variables are set independently; for random restrictions where variables are set in blocks (both due to H̊astad [3]); and for a distribution appropriate for the bijective pigeonhole principle [2, 4]. The proofs are based on Beame’s version [1] of Razborov’s proof of the switching lemma in [5], except using families of weighted re...
متن کاملLemmas on Demand for Lambdas
We generalize the lemmas on demand decision procedure for array logic as implemented in Boolector to handle non-recursive and non-extensional lambda terms. We focus on the implementation aspects of our new approach and discuss the involved algorithms and optimizations in more detail. Further, we show how arrays, array operations and SMT-LIB v2 macros are represented as lambda terms and lazily h...
متن کاملDecomposition Lemmas
We define the following recursive function T (n): T (0) = 0 T (1) = 0 T (2) = 1 T (n) = T n 2 + T n 2 + 1 + T n 2 − 1 + T n 2 + 1 (1.1) (n ≥ 3).
متن کاملLemmas on Demand for Satisfiability Solvers
We investigate the combination of propositional SAT checkers with satisfiability procedures for domain-specific theories such as linear arithmetic, arrays, lists and the combination thereof. Our procedure realizes a lazy approach to satisfiability checking of Boolean constraint formulas by iteratively refining Boolean formulas based on lemmas generated on demand by the decision procedures.
متن کاملA Note on Aubin-Lions-Dubinskiı̆ Lemmas
Strong compactness results for families of functions in seminormed nonnegative cones in the spirit of the Aubin-Lions-Dubinskiı̆ lemma are proven, refining some recent results in the literature. The first theorem sharpens slightly a result of Dubinskiı̆ (in Mat. Sb. 67(109):609–642, 1965) for seminormed cones. The second theorem applies to piecewise constant functions in time and sharpens slightl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1992
ISSN: 0022-4049
DOI: 10.1016/0022-4049(92)90112-s